#include<cstdio>
int main(){
	int n[10];
	int count=0;
	for(int c=0;c<10;c++){
		n[c]=0;
	}
	while(1){
		scanf("%d",&n[count]);
		if(n[count]==0){
			break;
		}
		count++;
		for(int i=0;i<count-1;i++){
			for(int j=0;j<count-1-i;j++){
				if(n[j]>n[j+1]){
					int y=n[j];
					n[j]=n[j+1];
					n[j+1]=y;
				}
			}
		}
		for(int y=0;y<10;y++){
			if(n[y]!=0){
				printf("%4d",n[y]);
			}
		}
		printf("\n");
	}
}
